Prove 1 cot^2x=cot^2x